Regularizing the abstract convex program
نویسندگان
چکیده
منابع مشابه
Regularizing the Abstract Convex Program
fi = inf( p(x) : g(x) E 4, x E R 1, P) where S is an arbitrary convex cone in a finite dimensional space, R is a convex set, and p and g are respectively convex and S-convex (on a), were given in [lo]. These characterizations hold without any constraint qualification. They use the “minimal cone” .S’ of (P) and the cone of directions of constancy D;(S’). In the faithfully convex case these cones...
متن کاملCharacterizations of Optimality without Constraint Qualification for the Abstract Convex Program
m i n i m i z e y(x) , (P) s u b j e c t to g ( x ) E S . L e t us c h o o s e the gene ra t ing set ~ = { e i : i = 1 , 2 , 3 . . . . }, the set of c o o r d i n a t e func t ions in 12. Then cone ~ = S § S. N o t e tha t S l a t e r ' s cond i t i on fai ls , s ince int S = ~, bu t N = = tt. To app ly C o r o l l a r y 4.1, we mus t c h o o s e the c o m p a c t se t Q = { e i : i = 1,2 . . ....
متن کاملAbstract interpretation meets convex optimization
Interpretation Meets Convex Optimization ? Thomas Martin Gawlitza, Helmut Seidl, Assalé Adjé, Stephane Gaubert, and Eric Goubault 1 CNRS/VERIMAG, France [email protected] 2 Technische Universität München, Germany [email protected] 3 CEA, LIST and LIX, Ecole Polytechnique (MeASI) [email protected] 4 INRIA Saclay and CMAP, Ecole Polytechnique, F-91128 Palaiseau Cedex, France Stephane.Gaubert...
متن کاملConcept of the abstract program
The aim of this paper is to alter the abstract definition of the program of the theoretical programming model which has been developed at Eötvös Loránd University for many years in order to investigate methods that support designing correct programs. The motivation of this modification was that the dynamic properties of programs appear in the model. This new definition of the program gives a ha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Analysis and Applications
سال: 1981
ISSN: 0022-247X
DOI: 10.1016/0022-247x(81)90138-4